" P. Dybjer" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigne

Категория: Компьютеры

17.83 Mb

#2

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (Editors)

Категория: Математика, Математическая логика

2.56 Mb

#3

Category Theory and Computer Science 1989

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigne

Категория: Cs_Computer science, CsLn_Lecture notes

2.82 Mb

#4

Semantics and Logics of Computation (Publications of the Newton Institute)

Andrew M. Pitts, P. Dybjer

2.02 Mb

#5

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)

Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

7.55 Mb

#6

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Peter Dybjer, Bengt Nordström, Jan Smith

1.98 Mb

#7

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

1.42 Mb

#8

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

3.23 Mb

#9

Epistemology versus Ontology: Essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof

Editors: P Dybjer, S Lindstrom, E Palmgren and G Sundholm

Категория: Philosophy of mathematics, mathematical logic

33.02 Mb